left some comments in formalism.tex; aligned some stuff in the formalism table; added formal descr of the paywall example