locating a logical resolution Synonym