Title: An Examination of a Decision Procedure (Memoirs of the American Mathematical Society)