This parent-course chapter is a separate application. Its body is outside the boundary-reduction selection.
Read the complete supporting proofs ยท Boundary reduction