A Formal Challenge to a Most Thorough Thrashing