The implementation adds a few special read-only attributes to several object types, where they are relevant: