A collaborative project with Dr Julia Brettschneider (University of Warwick) has yelded a mathematical formulation of the current range of Brexit proposals coming from the UK, that we hope will help to facilitate a solution:

Numeric calculations seem to confirm the conjecture that the value of the solution tends to zero as t→29/3.