g(t)urtle → g(t)heoriq