elaborate section about truncation
tweaks, and a new commutative diagram