Mathematica does not correctly represent the proposition
because it leaves out the order of the proposition.