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