tungmapu

Finished again on Dec 25, 2023.
Proof: What Remains