For n+1 proof, send back p and q, not just d