[ 'not_S1_and_not_S2' ]
[ 'not_S1_and_not_S2' ]
[ 'not_S1_and_not_S2' ]
[ 'not_S1_and_not_S2' ]