Just for the avoidance of doubt, Ireland is not part of the UK.