714.14/299.38 MAYBE 714.14/299.38 714.14/299.38 Problem: 714.14/299.38 strict: 714.14/299.38 a(b(a(b(a(x1))))) -> x1 714.14/299.38 weak: 714.14/299.38 a(b(x1)) -> b(b(a(a(x1)))) 714.14/299.38 714.14/299.38 Proof: 714.14/299.38 Open 714.14/299.38 EOF