Update formal3