MAYBE 161.30/55.35 MAYBE 161.30/55.35 161.30/55.35 Problem: 161.30/55.35 0(0(0(0(x1)))) -> 0(1(1(1(x1)))) 161.30/55.35 1(0(0(1(x1)))) -> 0(0(0(0(x1)))) 161.30/55.35 161.30/55.35 Proof: 161.30/55.35 Open 161.30/55.36 EOF