Jesus: Yes, this condition eliminates our freedom to choose \\(p\\) at will. But I wouldn't say it "ruins" anything. It's exactly what we want for this result.