Update formal7