"Good riddance. That's done and dusted, then."