pessimistic meta-induction