https://www.lavistachurchofchrist.org/cms/necessary-inference/