MAYBE 63.87/32.36 MAYBE 63.87/32.36 63.87/32.36 Problem: 63.87/32.36 a(x1) -> x1 63.87/32.36 a(a(x1)) -> b(x1) 63.87/32.36 b(a(b(x1))) -> a(a(b(b(b(x1))))) 63.87/32.36 63.87/32.36 Proof: 63.87/32.36 Open 63.87/32.36 EOF