Mathematics & Formal Reasoning
Proofs, abstractions, and the unreasonable effectiveness of math.
Echo