module TranslatesTo