Only have interpreted terms, not uninterpreted ones