Translate
taken as a premise