If a program does not conform to its specifications, then it is defective.