We're not close to this being a meaningful critique: but in the magical 100% coverage world, we don't cover all input states