proof of total correctness - Spanisch Englisch Wörterbuch