https://www.scottbradford.us/2011/03/27/logic-belief-and-unbelief/