A Formal Challenge for a Most Thorough Thrashing