It's a shame about the latest theory, because I always thought the barber surgeon idea had a really Pythonesque quality to it!