[2.1] Abstract Expressions