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