Title: Formal modelling of the evolution of monopoly capitalism