Propositions, [Nice1951] 046-0790