initial church numerals
did church numerals