interpreting the proof Synonym