The formal path integral and quantum mechanics - Theo Johnson-Freyd (Journal of Mathematical Physics, 2010)