DISABLE

where each namei is a runic designator; see theories. The
result is the theory that contains all the names in the current
theory except those listed. Note that this is merely a function
that returns a theory. The result is generally a very long list of
runes and you will probably regret printing it.