Ah, there are so many jokes like that which still make me smile. I'm grateful Red Dwarf and his books were part of my childhood.