Expression form of "eval" at line 13, column 2. See page 161 of PBP.