when is a counter example not enough?

Printable View