Definition:Proof Rule