The Classical Decision Problem by Egon Borger, Edu Borger & Y. Gurevich