almost working, just have to debug TranslateTex