doctor-who

           ___
           | |
           | |
   -------------------
   -------------------
    |  ___  |  ___  |
    | | | | | | | | |
    | |-+-| | |-+-| |
    | |_|_| | |_|_| |
    |  ___  |  ___  |
    | |   | | |   | |
    | |   | | |   | |
    | |___| | |___| |
    |  ___  |  ___  |
    | |   | | |   | |
    | |   | | |   | |
    | |___| | |___| |
    |       |       |
   ===================
Contributions from: Chris Whitehead (whitehec@cs.man.ac.uk)