Let software take derivatives reliably | Zoonk