Correct by Design vs Correct by Coincidence