minus(0,0)=0,
minus(s(0),s(0))=0,
minus(0,s(0))=m(s(0)),
minus(s(s(0)),0)=s(s(0)),
minus(s(0),0)=s(0),
minus(s(0),s(s(0)))=m(s(0)),
minus(s(s(0)),s(s(0)))=0,
minus(s(0),0)=s(0),
minus(s(s(s(0))),s(0))=s(s(0)),
minus(s(s(s(0))),s(s(0)))=s(0)
minus(s(s(0)),s(s(s(s(0)))))=m(s(s(0)))