[pegasus]

I guess the question of why counterexamples are so rare and/or hard to find is still left to be investigated.