{motive : ProofWidgets.ExprPresentationData → Sort u} →
  (t : ProofWidgets.ExprPresentationData) →
    ((name : Lean.Name) →
        (userName : String) →
          (html : ProofWidgets.Html) → motive { name := name, userName := userName, html := html }) →
      motive t