$S ::= Connex S$