Added comment about why we copy []Execution