Continued implementing section 7.1.3 up until <derived expression>.