Pessimistic meta-induction

  1. REDIRECT Pessimistic induction{{R from alternative name}}