Analysis alpha, Algebra half, Probability start