It is true, in a sense, that logical props. are ‘postulates’– something which we ‘demand’; for we do demand a satisfactory notation.