Updated tools for theoreST.