Property-based testing is magical Tests that expose gaps in your thinking instead of confirming what you already know