MAYBE
50.31/18.85	MAYBE
50.31/18.85	
50.31/18.85	Problem:
50.31/18.85	 +(+(x,y),z) -> +(x,+(y,z))
50.31/18.85	 +(f(x),f(y)) -> f(+(x,y))
50.31/18.85	 +(f(x),+(f(y),z)) -> +(f(+(x,y)),z)
50.31/18.85	
50.31/18.85	Proof:
50.31/18.85	 Open
50.31/18.85	EOF