[see also: simplicity
1
For ease of notation, set I=If.
We note that the assumption of GCH is made for convenience and ease of presentation.
2
Furthermore, adopting this strategy considerably eases constructing a coding tree from a linear order.