Update formal7.html