136.76/45.78	MAYBE
136.76/45.78	
136.76/45.78	Problem:
136.76/45.78	 strict:
136.76/45.78	  a() -> b()
136.76/45.78	 weak:
136.76/45.78	  f(x) -> c(x,f(x))
136.76/45.78	
136.76/45.78	Proof:
136.76/45.78	 Open
136.76/45.78	EOF