"TransitiveProperty" . . .