"\x." is a syntactically legal lambda expression

False. It does have a lambda, and a variable, but that's not enough. Any abstraction must have a body (i.e. a lambda expression after the period), this one does not, so its not legal. BACK