https://thebossmind.com/variable-assignment-in-formal-logic/