deriving-time