proof of partial correctness - Turco Inglés Diccionario