And it’s time for Lucas to take over from Corbyn as Leader of the Opposition.