u/Imaginary_Board1285

\text{BornMethod} \;\equiv\; \Big[\,\forall A,\; \exists!\, \text{born}(A)\,\Big] \;\land\; \Big[\text{sequence is unbroken}\Big] \;\land\; V(\text{chain}) \in \{0,1\} \;\land\; \lim_{t\to\infty} N_t = N^* \;\land\; 1+1=1