Update formal6.html