(motive : CategoryTheory.Limits.WalkingParallelPair → Sort u_1) →
  (x : CategoryTheory.Limits.WalkingParallelPair) →
    (Unit → motive CategoryTheory.Limits.WalkingParallelPair.one) →
      (Unit → motive CategoryTheory.Limits.WalkingParallelPair.zero) → motive x