![[Proof-Through-LEAN.excalidraw.svg]]