Finished work on formalism