MAYBE
73.40/22.98	MAYBE
73.40/22.98	
73.40/22.98	Problem:
73.40/22.98	 minus(minus(x)) -> x
73.40/22.98	 minus(+(x,y)) -> *(minus(minus(minus(x))),minus(minus(minus(y))))
73.40/22.98	 minus(*(x,y)) -> +(minus(minus(minus(x))),minus(minus(minus(y))))
73.40/22.98	 f(minus(x)) -> minus(minus(minus(f(x))))
73.40/22.98	
73.40/22.98	Proof:
73.40/22.98	 Open
73.40/22.98	EOF