Update fact.rkt