<p>I’ve been cleared 🙏 finally convinced the UK I won’t sell their secrets by (checks notes) working on proof assistants</p>