On truncation see Works, 9.138, 139, and see Works, 9.379 for the addition of leaves.
[Version 0.05: May 2008]
