MAYBE
21.53/10.19	MAYBE
21.53/10.19	
21.53/10.19	Problem:
21.53/10.19	 +(1(),x) -> +(+(0(),1()),x)
21.53/10.19	 +(0(),x) -> x
21.53/10.19	
21.53/10.19	Proof:
21.53/10.19	 Open
21.53/10.19	EOF