While progress has been made towards more general theorems, Yagi, Han and Nomura now establish the first-order coding theorem, which gives a formula for the error-capacity for mixed memoryless ...