Dec for Church Numerals