This illustration is described in the text. It shows a flowchart of the logic used to decide which version of an overloaded subprogram to call, or whether to raise an error, based on the types of the parameters in the subprogram call.