ThreeU

--- a ---> U1

U3

--- a ---> ThreeU
--- b ---> U2

U2

--- a ---> ThreeU
--- b ---> U2

U1

--- b ---> U3