Thanks for the small concrete example. I try to explain this a lot. It also makes coverage really easy to get with fewer tests.