correctness proof - Turco Inglés Diccionario