- Seeking a counter-example.