SLE LA.1.A1.7

Recognize when an expression is undefined.