> Soundness prevents false negatives, i.e., all possible unsafe inputs are guaranteed to be found, while completeness prevents false positives, i.e., input values deemed unsafe are actually unsafe.

I really dislike this definition. It is confusing and backwards from normal math/logic parlance.