MAYBE
46.46/14.48	MAYBE
46.46/14.48	
46.46/14.48	Problem:
46.46/14.48	 minus(minus(x)) -> x
46.46/14.48	 minus(+(x,y)) -> *(minus(minus(minus(x))),minus(minus(minus(y))))
46.46/14.48	 minus(*(x,y)) -> +(minus(minus(minus(x))),minus(minus(minus(y))))
46.46/14.48	 f(minus(x)) -> minus(minus(minus(f(x))))
46.46/14.48	
46.46/14.48	Proof:
46.46/14.48	 Open
46.46/14.49	EOF