--term-db-mode=relevant --enum-inst
