We're using property-based testing where we can, which I hope to cover in a future post