quantifier A quantifier is either of: A universal quantifier An existential quantifier Backlinks free variable ivy_check command logical fragment positive and negative occurrences use relations instead of functions