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