Definition:Refutation Procedure