"The most important property of a program is whether it accomplishes the intention of its user."

- C.A.R. Hoare