S2 EXPECTED-BUT-ABSENT
S5 ASYMMETRY
S6 IDENTITY CONFLATION
