The informal seminar on mathematical reasoning continues. This meetingwill be self-contained (i.e., not dependent on previous sessions).