Adding fact.scm