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