OK, there’s a built-in min() function, makes life a lot easier!