nested quantifiers

join shbcf.ru