Logic, Logical Consistency, Doctrine, Forced Conclusions, Un-Forced Conclusions, Conclusion, Necessary Inference, Inference