Create fact.rkt