(motive : Aesop.BuilderName → Sort u_1) →
  (x : Aesop.BuilderName) →
    (Unit → motive Aesop.BuilderName.unfold) →
      (Unit → motive Aesop.BuilderName.tactic) →
        (Unit → motive Aesop.BuilderName.forward) →
          (Unit → motive Aesop.BuilderName.destruct) →
            (Unit → motive Aesop.BuilderName.constructors) →
              (Unit → motive Aesop.BuilderName.cases) →
                (Unit → motive Aesop.BuilderName.apply) → (Unit → motive Aesop.BuilderName.simp) → motive x