Loading paper
Towards a formalization of a two traders market with information exchange | Tomesphere