22J (source code)

= 22J
{scope}
{title2=Probability and Measure}