Correctness with respect to a specification is not the same as correctness with respect to intent(ion) or expectation