evaluating the logic Synonym