Translator theories working with new closures