Create a8-fact.rkt