reaching a provable result Synonym