Achieving the literal, formal specification of an objective—without actually achieving an outcome that the programmers intended