{motive : Lean.Firefox.SampleUnits → Sort u} →
  ((time eventDelay threadCPUDelta : String) →
      motive { time := time, eventDelay := eventDelay, threadCPUDelta := threadCPUDelta }) →
    (t : Lean.Firefox.SampleUnits) → motive t