1     1     1
::/0 -- S --- A --- B --- S' -- ::/0