TY - RPRT TI - The Kraft--Barmpalias--Lewis-Pye lemma revisited AU - Alexander Shen PY - 2023 UR - https://arxiv.org/abs/2304.04852 ID - 2304.04852 ER -