SQL: Incorrect by Construction