Why you shouldn't use SQL if you care about correctness