Some derived attribute-only rules