Systems -- Stochastic Dynamics in the Brain and Probabilistic Decision-Making -- Formal