Adding experimentation on Church numerals