この復元アルゴリズム、まるで一般のソフトウェアアルゴリズムと同じように、一つ一つの演算（論文では定義や命題）は、準備論文を理解してれば簡単に理解できるんだけど、全体の構造は非自明。
つまり構造構築自体が膨大な定義命題で作られてるから、一つ一つは分かっても、全体見ると「何やってんのこれ？」と思うわけ。