That's a good point. I wonder if it matters though. I mean, 1) depending on how you count it, it could be either Schengen ('85), late '90s, or early '00s; 2) world was completely different before the EU - Europe was still dealing with WWII results / USSR issues - whatever happens, UK is not going to what was the pre-EU reality.