I thought there was already an automatic withdrawal in March or something. Whatever happened to that?
May negotiated a new agreement that wound up with a 31st October date.