working on church numerals