We give an introduction to operator-valued non-commutative probability spaces and laws. We discuss motivating examples, including conditional expectations and matrix amplifications of scalar-valued laws related to the linearization trick. We prove Williams' analytic characterization of the operator-valued Cauchy transform in terms of matricial analytic functions.