Leonhart comments on Against utility functions