(motive : Option (Array Aesop.Script.LazyStep) → Sort u_1) →
  (scriptSteps? : Option (Array Aesop.Script.LazyStep)) →
    ((scriptSteps : Array Aesop.Script.LazyStep) → motive (some scriptSteps)) →
      ((x : Option (Array Aesop.Script.LazyStep)) → motive x) → motive scriptSteps?