move theory translations functions to the engine