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