You don't need to re-import this stuff, it will carry from the above doctest code block.