(motive : Aesop.PhaseName → Sort u_1) →
  (x : Aesop.PhaseName) →
    (Unit → motive Aesop.PhaseName.norm) →
      (Unit → motive Aesop.PhaseName.safe) → (Unit → motive Aesop.PhaseName.unsafe) → motive x