randlean.pdf