Looking at translation of functions using the theory plug-in??