might be called pure probability theory: multivariate random variables, conditioning,