The design and analysis of state-trace experiments.