auditing the logic Synonym