use of the getTheoryIds function