rectifying logically Synonym