10 (source code)

= 10
{scope}
{title2=Logic and Proof}