APPROVED Jeremy J. Carroll If p and q have the same property extension then p equivalentProperty q.