Since we now postpone determination of the type of an argument, we must