MAYBE 38.56/10.35 MAYBE 38.56/10.35 38.56/10.35 Problem: 38.56/10.35 a(x1) -> x1 38.56/10.35 a(a(b(x1))) -> a(b(b(a(x1)))) 38.56/10.35 b(b(b(x1))) -> a(x1) 38.56/10.35 38.56/10.35 Proof: 38.56/10.35 Open 38.56/10.36 EOF