Comment by bulbar

Validating / Verifying mediocre code is pretty hard as nobody was able to agree what that even means.