Hypothesis: customer says something is bugged

Antithesis: the tests pass with 100% coverage

Synthesis: the bug is a feature