Beginning Property-Based Testing with test.check by Eric Normand