Update formal4