property and index congruence