In an application expression, the procedure expression and the argument expressions are always evaluated left-to-right.