MAYBE
0.07/0.18	MAYBE
0.07/0.18	
0.07/0.18	Problem:
0.07/0.18	 *(*(x,y),z) -> *(x,*(y,z))
0.07/0.18	 *(+(x,y),z) -> +(*(x,z),*(y,z))
0.07/0.18	 *(x,+(y,f(z))) -> *(g(x,z),+(y,y))
0.07/0.18	
0.07/0.18	Proof:
0.07/0.18	 Open
0.07/0.19	EOF