to intervene [ intervened ; intervened ]