Remove theories, preparing to bring back as a subtree