Lemma's about executions.