Comment by Ancapistani

They have formal proofs included, that’s the point.