Update fact.scm