Theoretical limits of performance of error control coding in iterative cancellation systems is explored. Limits of the modulation symbol estimation error attainable by any code are given. Required properties of optimal codes for cancelation are exposed, and the actual performance of several popular code families is discussed.