DAFNY valuation curve | Upswitch bv