APPROVED Dan Connolly If the pair (x,y) is an instance of P, than the pair (y,x) is an instance of the named property.