Comment by kodroid

Thanks. I love to see a description of that formalisation, if you ever get round to publishing it.