Notes by Markus Perdrizat | export