certifying correctness Synonym