https://www.americanpartisan.org/2018/05/a-quick-and-dirty-guide-to-formal-logic-part-i-of-iv/