proof of partial correctness - Francés Inglés Diccionario