This seems obviously correct to me and it's still not appreciated by many developer teams. Then there's the world of behavior / property / invariant -based tes

This seems obviously correct to me and it's still not appreciated by many developer teams. Then there's the world of behavior / property / invariant -based testing which slims down your tests to essentially data generation and testing observable behavior which seems like magic to people still.