Update formal6