Problem-solving techniques in probability used in the mathematical foundations of actuarial science.