Interventions in proceedings