theoretical translations should happen here