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