Smaller input, greater insight

Shrinking is the unsung hero of property-based testing. I show you how it helps to make inevitable errors understandable.