Mathematical and logical propositions (e