MAYBE
23.32/10.18	MAYBE
23.32/10.19	
23.32/10.19	Problem:
23.32/10.19	 if(true(),x,y) -> x
23.32/10.19	 if(false(),x,y) -> y
23.32/10.19	 if(x,y,y) -> y
23.32/10.19	 if(if(x,y,z),u(),v()) -> if(x,if(y,u(),v()),if(z,u(),v()))
23.32/10.19	
23.32/10.19	Proof:
23.32/10.19	 Open
23.32/10.19	EOF