deducing the solution Synonym