add probability-in-sage.tex