Best practices with property based testing: https://blog.auxon.io/2021/02/01/effective-property-based-testing/