No mention of the mighty sequent symmetry ?