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