Necessary propositions and entailment-statements | lit.salon