Thank you! The pivoting real wheel was actually invented by Mario Raimondi in 1963, 16 years before Brompton. The patent has long expired and in our case we are pivoting and translating, so it's a new take on this function.

https://worldwide.espacenet.com/patent/search/family/0001985...