added doc about formalism