\begin{align*}A &= L + E, \\[4pt]A_{\text{present}} + A_{\text{future}} &= L_{\text{present}} + L_{\text{future}} + E, \\[4pt]A_{\text{future}} &= F(L_{\text{future}},\, i_{\text{time}}),  \\[4pt]A_{\text{present}} &= G(L_{\text{present}},\, i_{\text{collateral}}), \\[10pt]\forall\, \text{Crypto}:\;&\begin{cases}|L| \le A_{\text{present}} \;\Rightarrow\; F=0, \; A_{\text{future}} = 0,\; L_{\text{future}} = 0, \\[6pt]L_{\text{present}}(t^{+}) = 0 \;\Rightarrow\; G = \text{const. } \kappa, \\[6pt]A_{\text{present}} = \kappa E\end{cases} \\[12pt]\forall\, \text{TradFi}:&\;\; L_{\text{future}} = 10E, \\[8pt]\mathbf{ARI} &= L_{\text{future}}.\end{align*}