Prove processing