Updated Random4 pdf