Searching protocol for "cli-patterns"
Logging, tracing, metrics fundamentals
Convergence to Gibbs equilibrium in Langevin dynamics.