The term (𝜆x.,x),y can beta reduce to y!.

Advancement of REM sleep to an earlier position within the sleep period was also exhibited in the sleep of disentrained subjects in the form of increased durations of the first REM sleep episodes of major sleep periods.

a maths wiz

a man of singular gravity or attainments