proof of partial correctness - German English Dictionary