extensive proof Synonym