remove unused fact