Great! One of my main reasons posting here is getting next generation of high assurance developers info they need plus learning from them in what&#x27;s not my specialty (esp formal verification). Just hate missed opportunities given I rarely run into people that even know what the phrase means or why it matters. ;)