robust proof Synonym