https://www.lavistachurchofchrist.org/cms/of-necessary-inferences-again/