Correctness is not optional: a program is either right or it is wrong.

A statement about software correctness, emphasizing that program behavior must meet its specification rather than being treated as a matter of degree or preference.

The idea is that software should be judged against clear requirements: if it fails those requirements, it is incorrect, and partial or approximate correctness is not an acceptable substitute for meeting the intended behavior.