Finished formalism update