Update bf.rkt