Rutini smo dodali dva nova elementa, require vsebuje seznam pogojev, ki bodo omogočili pravilno delovanje metode, ensure pa vsebuje seznam pogojev, ki jim mora metoda zadostiti po tem, ko se njeno izvajanje konča. Vsak pogoj lahko opremimo z oznako, ki ji sledi dvopičje, da se nanj laže sklicujemo. Uvodni pogoj je jasen: ura je lahko zgolj v veljavnih mejah, nekaj razlage pa zahtevajo končni pogoji.