決定論的な正しさの証明と、統計的な正しさの証明と、バグの洗い出しを区別すること