They also show how the theorem reduces to known theorems for more restricted scenarios. The researchers describe their system as an input stream that is coded into the output by a channel sequence.