[Logic] Order of quantifiers and brackets