We want to make a program to compute a function F. It is possible for 2 different programs to correctly compute F (be "functionally correct"), but also for one to be "right" and one "wrong" (or one good, one bad)