IntroBeta2.02.pdf
FormalRulesBeta.pdf