Adding files "appendix-formalism" and figure embedded as archive

Could be useful for copying / pasting / updating the shorter appendix of the sims paper project