Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for rule-based binding. A detected signal of the signal management control unit 47J is a data signal latch clock LP applied to a terminal CKB1. The liquid fraction, which is at a sufficiently low temperature, subcools the cryogenic stream passing through the heat exchanger.