(motive : Aesop.Frontend.Priority → Sort u_1) →
  (x : Aesop.Frontend.Priority) →
    ((p : Aesop.Percent) → motive (Aesop.Frontend.Priority.percent p)) →
      ((x : Aesop.Frontend.Priority) → motive x) → motive x