Question 1058858
You have defined the set p to contain itself. 
Was this your intent or is it a typo?
Please repost with clarification.