I want a formal investigation into what is already clearly happening. Formalisation of the numbers.