A caveat about the Church numeral wrappers being used.