Hazard comments on Finding a quote: “proof by contradiction is the closest math comes to irony”