This is interesting. If this is true, then a lot of code based on the assumption p == q would be broken.