Kristensen, S. A. Infinitte ledsætninger. MUDS 2015, 197-216.