Translate
at variance with