deletions | additions       diff --git a/untitled.tex b/untitled.tex  index 0b99daf..264d590 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
Ca urmare, probabilitatea ca într-un univers să existe un tip conectat cu un număr finit de alte tipuri este zero.  \end{argument}  Este posibil ca unele dintre interacțiunile grafulului tipurilor să fie foarte slabe. Să definim (doar la nivel intuitiv) „puterea” unei interacțiuni între două tipuri $t_1 și $t_2$ ca fiind cât de mult schimbă o interacțiune cu un obiect de tip $t_2$ parametrii observabili ai lui $t_1$ și să presupunem că o putem măsura cu un număr real pozitiv, astfel încât interacțiunile cu putere mai mare decât un $Pmin(t_1)$ sunt observabile.