Make the aux function racket-y