MAYBE

Problem:
 +(1(),x) -> +(+(0(),1()),x)
 +(0(),x) -> x

Proof:
 Open