https://thebossmind.com/universal-variable-in-predicate-logic/