The theorem checks now live with the demonstrations: min-var-demos.html.