Coming soon

This note is part of the notebook and is planned, but has not been written yet.

Planned coverage: Planned note in the GR sequence: Energy Extraction and the Irreducible Mass (Christodoulou-Ruffini bound).