The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich