Growing correctness