Ah ... I misinterpreted the statement to encompass the expression rather then just the application of the Ycombinator. Y(F) is not recursive. (Y(F))(X) is recu

Ah ... I misinterpreted the statement to encompass the expression rather then just the application of the Ycombinator. Y(F) is not recursive. (Y(F))(X) is recursive. Is that accurate?