What would politics be without its own particular peculiar sense of humour, even if it is not quite funny, ha ha.