operative intervention Synonym