We shall define arguments precisely in Section 6, but we shall start using them informally now.