correctness of an algorithm