Examination of a Decision Procedure