MAYBE 165.17/55.47 MAYBE 165.17/55.47 165.17/55.47 Problem: 165.17/55.47 0(0(0(0(x1)))) -> 0(1(0(1(x1)))) 165.17/55.47 1(0(0(1(x1)))) -> 0(1(0(0(x1)))) 165.17/55.47 165.17/55.47 Proof: 165.17/55.47 Open 165.17/55.47 EOF