antifuchs Merge pull request #8 from antifuchs/property-tests …