HOME
HOME
B
<=A
HOME
=> C