Download as PDF

Pessimistic induction