So how is this any different to before? If it is so cut and dried that the backstop is only temporary, why the need for a possible "formal dispute"? If the result of the "formal dispute" goes against the UK, which it probably will, then the backstop becomes permanent.