Higher order moments, invariant synthesis, martingale, optional stopping, probabilistic programs, program verification.
