up until a goal state is reached, execution is pairwise (lockstep)