johnswentworth comments on What’s So Bad About Ad-Hoc Mathematical Definitions?