The Nature of Logic, 26 January