Heh. I sold Tinfoil Security to synopsys in January 2020.
We should chat. :)
Aye comrade, shot you an email :)