A property-based testing library for clearly specifying code invariants and behaviour.