Racket took the baton from Eiffel: https://docs.racket-lang.org/guide/contract-boundaries.html