Transitive propriety pic