You need to prove that the code is correct, that's the tricky part. Otherwise I could just write `return true;` as the whole code and tell people to run it, it'

You need to prove that the code is correct, that's the tricky part. Otherwise I could just write `return true;` as the whole code and tell people to run it, it's easy, just do the peer review yourself.