Comment by godelski

How do you know the code is right?