Propositions CNOMK