The copies attesting each side of a derivation, each side in order of how much it bears.
The copies bearing what the child inserts: the reading the derivation moves to.
The copies bearing what the child strikes from the parent: the reading it moves from.
The copies attesting each side of a derivation, each side in order of how much it bears.