Removing unused fact.