Having used the number of arguments to winnow the potentially viable functions, we must now look at whether the argument types match those of the parameters.