Yet another note on variance

Done as a literate program.