https://thebossmind.com/conditionalization-in-logic/