Collaboration diagram for PropertyConvergence: