⁹  Since a continuation channel is to be always generated fresh, a continuation channel can never be declared open (i.e. can never have the keyword open), cf. Comment 7.3.2, page §).