Figure 20
The boundary of \(P\)