https://reinzeau.blogspot.com/2020/11/reading-pdf-catjon-rogawski-calculus.html