Delete fact.ml