wrote the assertion and found a counter example