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.