Add postscript about dependent on `Kernel.rand`