<p>OH: &quot;my trip here was directly funded by doing Coq work... quite a significant number of it!&quot;</p>