https://1library.net/document/q2kxnorq-the-embedding-problem-in-iteration-theory.html