[ E1 ] --> [ E2 ] [ E1 ] --> [ S1 ] [ E1 ] --> [ S2 ] [ E2 ] --> [ S1 ] [ E2 ] --> [ S2 ] [ S1 ] --> [ S2 ]