Anti-quantifiers and a theory of distributivity