framsteg i formelt hänseende.