may(s(0),0)=true, may(0,0)=true, may(s(0),s(0))=true, may(s(s(0)),s(0))=true, may(s(s(0)),0)=true, may(s(s(0)),s(s(0)))=true, may(s(s(s(s(0)))),0)=true, may(s(s(s(s(0)))),s(0))=true