Correctness and clarity, what is that