dpate/prob-formulation — pull request #2 by JustinSGray (2013-03-15 15:46:52+00:00)
Title: Updated introduction

and a bunch of other small changes. I'm still working my way through what you wrote though.