Create formal3.html