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