TotalNetValue is determined as follows:

At the initial collateral assignment TotalNetValue (900) is the sum of (UnderlyingStartValue (884) * (1-haircut)).

In a collateral substitution TotalNetValue (900) is the sum of (UnderlyingCurrentValue (885) * (1-haircut)).