___(1) ___(1) A B ___ ___ AvB BvA BvA ____________________(1) BvA
Note that the green occurrences of operators are being eliminated by the inferences immediately below them; while the red occurrences of operators are being introduced by the inferences immediately above them.