When a routine is called, each formal argument gets the value of its actual argument; this is known as argument binding. Formal and actual arguments are matched by order; the names of the arguments are irrelevant. Formal and actual arguments must agree in number and type.