"I think it should also be made clear that min is a function which returns" . . . .