Added Property.derivedNot