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