Formal proof - Spanisch Englisch Wörterbuch