A>A>A
A>A>B
(null)
(null)
(null)