Anti-quantifiers and a theory of distributivity · Study