Fsdss-548 -

: Upon receipt, ( a_j ) updates the token belief: