S1
A + FO + E
S1 P
A + FO + E + P
S2
A + FO + E + WRU
S3
A + FO + E + WRU + P
S4
A + FO + E + Leakproofness
S5
A + FO + E + P + Leakproofness