logical elucidation Synonym