Got WA many times. Really need to know how to prove correctness of my programs.