[constantcrying]

Ironically when rigorous proofs were invented by the greeks, Euclids "proof by picture" was no less rigorous than modern formal logic.