Remove axioms for sources that were removed from the list. (Some may be
re-added for different sources.)