MAYBE 145.60/55.37 MAYBE 145.60/55.37 145.60/55.37 Problem: 145.60/55.37 0(0(0(0(x1)))) -> 1(0(1(1(x1)))) 145.60/55.37 1(0(0(1(x1)))) -> 0(0(0(0(x1)))) 145.60/55.37 145.60/55.37 Proof: 145.60/55.37 Open 145.60/55.37 EOF