add a getTheoryIds function