An Examination Of A Decision Procedure