Update formal4.html
Merge pull request #9 from charlery/patch-6

Update formal4.html