B => A
D + E => B
G + H => F
I + J => G
G => H
L + M => K
O + P => L + N
N => M
=DEIJOP
?AFKP
#AFKP is true