Implmemented derivedExpression and the rest of 7.1.3.