Mark_Friedenbach comments on Against utility functions