inferring soundly Synonym