Before revision:  In the slicing step, we clip K^ at each layer i using its polygon to obtain K^_i .
After revision:  In the slicing step, we clip K^ at each layer using its polygon to obtain K^_i .