Update Fact.scala