Translate
basic postulates