Sample code for the article series Property-based Testing for The Rest of Us - View it on GitHub