Basic constrants cA is declared false by default, so en empty sequence is legal (and more space efficient).