Translate
quantified