(motive : Aesop.Strategy → Sort u_1) →
  (x : Aesop.Strategy) →
    (Unit → motive Aesop.Strategy.bestFirst) →
      (Unit → motive Aesop.Strategy.depthFirst) → (Unit → motive Aesop.Strategy.breadthFirst) → motive x