correctness proof - Turkish English Dictionary