. . . "Contracts are a key tool for writing robust Racket programs." .