Don't have Telegram yet? Try it now!
https://francescocaberlin.blog/2019/07/01/messing-around-with-stm-part-iiib-model-analysis/
Messing around with STM, part IIIb: model analysis