… transition period after the UK left the EU on January 31, 2020 until midnight on December 31, 2020, during which the UK would remain in the EU’s single … require a subsequent agreement, as envisaged under Article 13(8) of the Protocol, in order to amend, at least in part, …