BBC has recalled that at 23:00 GMT on 31 January 2020 (midnight Brussels time, as January became February there), the EU shrank, the UK was out. Four years later, as the latest solution to one of the knottiest of consequences of Brexit, or at least the flavor of Brexit chosen, is revealed.