Appendix for

Patrick Cousot. 2024. 
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation. 
Proc. ACM Program. Lang. 8, POPL, Article 7 (January 2024), 33 pages. 
https://doi.org/10.1145/ 3632849

The ACM requires a paper and its auxiliary material to be separate documents,
which brakes the hyper references between the two files, even when merging them.
The full article plus appendix with hyperlinks is published as an artefact of
the POPL 2024 paper as well as on 
   arXiv:2310.15340,https://arxiv.org/abs/2310.15340 
(with font variations due to the use of pdflatex instead of xelatex).
