The summary made by cross_row() is passed on to valid(). When valid() fails, the child is pruned.
cross_row()
valid()