Comment by thfuran

Science isn't about formal proofs