So they're sort of reinventing the discrete-time differentiator from signal processing, but parameterized neurally?