so glad to have you as a beta tester :) I hope it's gonna get less challenging to read when we are done refining the thing.
we are currently attacking a massive to-do list of ~600 items. we spent most of last week just reading through each other's parts and heavily annotating them. there's quite a bit of writing missing, and tons of copyedits.
we are doing this at David Jazz's parents house in Portugal, which has helped making the whole process less stressful!
also, let me mention that the thesis will also feature two contributed chapters, one from [@ayegill](https://schelling.pt/@ayegill ) (about continuous-time SDEs) and one by Diptarko Roy and Gregory Neustroev, on 'supermartingale certificates for Markov processes'. having heavy-duty stochastic systems in the framework is quite a reality check (if far from definitive), and Dip and Greg's exposition gives a glimpse of where one could go with some ingenuity.