https://christiandecker.de/teaching/theses/realised/