guaranteeing correctness Synonym