Relevance with Variables

Intuition

• Universal variables may refer to the same thing
• Existential variables are unlikely to refer to the same thing

Definition

• Replace universal variables in each formula with functors everything_i, i = 1, 2, ...
• Replace existential variables in all formulae with functors something_i, i = 1, 2, ...