Channel open ∴ Name from the Zwischenraum
∴
receive ∞