mod2(0)=0, mod2(s(0))=s(0), mod2(s(s(0)))=0, mod2(s(s(s(0))))=s(0), mod2(s(s(s(s(0)))))=0, mod2(s(s(s(s(s(0))))))=s(0), mod2(s(s(s(s(s(s(0)))))))=0