5. General implementation of remainder of withdrawal agreement
After section 7 of the European Union (Withdrawal) Act 2018 (status of retained EU law) insert -
"Further aspects of withdrawal
7A General implementation of remainder of withdrawal agreement
(1) Subsection (2) applies to -
(a) all such rights, powers, liabilities, obligations and restrictions from time to time created or arising by or under the withdrawal agreement, and
(b) all such remedies and procedures from time to time provided for by or under the withdrawal agreement,
as in accordance with the withdrawal agreement are without further enactment to be given legal effect or used in the United Kingdom.
(2) The rights, powers, liabilities, obligations, restrictions, remedies and procedures concerned are to be -
(a) recognised and available in domestic law, and
(b) enforced, allowed and followed accordingly.
(3) Every enactment (including an enactment contained in this Act) is to be read and has effect subject to subsection (2).
(4) This section does not apply in relation to Part 4 of the withdrawal agreement so far as section 2(1) of the European Communities Act 1972 applies in relation to that Part.
(5) See also (among other things) -