philh comments on Sets and Functions