{motive : Lean.Firefox.Profile → Sort u} →
  (t : Lean.Firefox.Profile) →
    ((«meta» : Lean.Firefox.ProfileMeta) →
        (libs : Array Lean.Json) →
          (threads : Array Lean.Firefox.Thread) → motive { «meta» := «meta», libs := libs, threads := threads }) →
      motive t