Create formal3