 The first of these is probably the easiest to remember and think about. The second is important because it is the one most easily expressed in first-order logic.   The third is a recursion principle; we shall consider a closely related  principle in Section 4.4.  