Among monotonic, boolean quantifiers that don’t ignore their input, exists is maximal because it returns true as often as possible; forall is minimal because it returns true as rarely as possible.
Among monotonic, boolean quantifiers that don’t ignore their input, exists is maximal because it returns true as often as possible; forall is minimal because it returns true as rarely as possible.