Modal quantifiers by N.A. Alechina