Some proof simplification.
Some proof simplification.
Pretty major proof simplification.