[long shot] Looking for a Sequent Symmetry...