{p : Prop} →
  {motive : Plausible.Testable p → Sort u} →
    (t : Plausible.Testable p) →
      ((run : Plausible.Configuration → Bool → Plausible.Gen (Plausible.TestResult p)) → motive { run := run }) →
        motive t