According to modern logical entailment, every necessary proposition entails and is entailed by every...