Soundness and completeness

Soundness: “I reject everything that I cannot prove to be correct”

example:

function test(a) {
  return false;
}

Completeness; “I accept everything that could be correct”

function test(a) {
  return true;
}