Update fact.ml