Observing Interventions: A logic for thinking about experiments