correcting formalism