Unfortunately I'm unavailable at that time. I'll try and send some ad hoc thoughts on the "formal model" topic in the meantime.