Yes, exactly.  Without knowing anything about the people involved I am (was) reluctant to invest further time and attention (I&#x27;m studying Category Theory right now with an aim to implement programming tools, so you can imagine I&#x27;m very interested!)<p>It&#x27;s really great that you&#x27;re addressing this. Thank you! ;-)