if this check fails, and there is a shuffle on one side, we presumably want to shuffle the other side the same way as this one? As is we might shuffle the two sides differently.

(Though I highly doubt that this `if` will ever be true.)