# Lösung: Vor- und Nachbedingung
```clojure
(defn sqrt [n]
{ :pre [(>= n 0)]
:post [(>= % 0)]}
(Math/sqrt n))
```