Comment by bsaul

sorry, i'm not a native english. i meant formal proofs.