correct a few syntax errors
Add a test to see if it works and guess what? it doesn't (although maybe the test is also wrong)
update notes with a tentative derivation for the soft minimization problem.