https://9pdf.net/document/zwvw8vk7-iterated-extensions-and-uniserial-length-categories.html