1 2 1 2  Xneq: Ttuxneq . (Ttuc c ec ) / Ttwaxneq. (Ttwac c ec ).