https://thebossmind.com/universal-introduction-rule-in-predicate-logic/