proof(p)