nested quantifiers discrete mathematics