US filed paperwork announcing withdrawal. There's, I believe, a two year period that kicks in for renegotiation. So the process of moving as fast as it can right now.