detailed proof Synonym