interpreting proof Synonym