ThreeS

--- a ---> S1

S2

--- a ---> ThreeS
--- b ---> S2

S1

--- b ---> S2