n process and the proof-of-p