A typechecker that is "complete" will always accept correctly-typed programs, but it may accept some incorrectly-typed programs. A typechecker that is "sound"

A typechecker that is "complete" will always accept correctly-typed programs, but it may accept some incorrectly-typed programs. A typechecker that is "sound" will always reject incorrectly-typed programs, but it may reject some correctly-typed programs.