Update facts.rkt