fix up interpTheory