No you don't. Bob didn't have a formal separation agreement in place, or even a informal separation agreement.
They both just walked in to the courthouse together, filed the paperwork together, submitted it, and two weeks later they were officially divorced. They HAD been separated for over a year before they did the filing of their paperwork, however.
EZPZ, and it was only like $60 or something. No lawyer, no nothing.....
And because they both signed the necessary documents in person - together - they didn't waste a lot of time that would ordinarily occur with mailing documents back and forth to one another, then mailing those documents back to the Courthouse, etc. That bantering of documents back and forth to each other eats up a lot of time.