8 Zwrot banknotu do banku

Sklep $S_k \;$ pod koniec dnia łączy się z bankiem i przekazuje dane wykorzystywane w czasie transakcji z użytkownikiem:

$\{U^*\}_{{\tt CA}}$
$\{[m_0, U^*, X^*_1], [n, aktualna\_data]\}_{Bank}$
$\{[m_i, U^*, X^*_k], [n - i, aktualna\_data]\}_{S_{k-1}}$
$Y_k$
$\{ [m_{i+j},\; U^*, \; X^*_{k+1}], [ n - i - j, \; aktualna\_data] \}_{S_k}$

Bank po sprawdzeniu tych danych przelewa na konto sklepu kwotę $j * \textrm{wartość monety}$.