Add ufo2.rkt