So if everything holds and the Cards win today, will we end up playing the Dodgers in the first round?