Consider the following definition:

  X = λm.λn.λf.λx.(((n m) f) x)

Suppose that we invoke this function X on the Church numerals for 2 and 3 as follows:

  ((X TWO) THREE)

What would be the result of evaluating this expression?

• The Church numeral for 1
• The Church numeral for 5
• The Church numeral for 6
• The Church numeral for 9
• None of the other options is correct.