tweaks
delete lots of rubbish from the formalism file