Stochastic Coalgebraic Logic | lit.salon