Decision_Procedure