Update formal3.html