estimating the logic Synonym