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 i using its polygon to obtain a complex that may not necessarily be Euler .