Exit means exit for Boris Johnson?