With Dario Mortini in a talk about assertion: 
https://dfaria.eu/photo/241026-120437.jpeg