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