Tailoring via Sculpting

In this chapter we complete the proof that one slice of P by plane Π can be tailored to the face of Q lying in Π, following the sequence slice → g-domes → pyramids → tailoring. The previous chapter established the g-domes → pyramids reduction. Here we first prove the relatively straightforward slice → g-domes process and then concentrate on the more complex pyramid → tailoring step.