  This note provides a simplified exposition of the proof of hierarchical Kraft
lemma proven by Barmpalias and Lewis-Pye and its consequences for the oracle
use in the Ku\v{c}era--G\'acs theorem (saying that every sequence is Turing
reducible to a random one).
