I admit a case can be made for having every-pred in the language, since from a mathematical standpoint predicate composition is an innate low-level feature (put

I admit a case can be made for having every-pred in the language, since from a mathematical standpoint predicate composition is an innate low-level feature (putting the questionable naming issue aside)