“…reals has grown into a significant part of modern algorithmic randomness, and is best presented in [DH10, Chapters 5 and 9]. The present section is an original presentation of some facts regarding Martin-Löf random reals that stem from [Sol75,CHKW01,KS01] and are further elaborated on in [DHN02], which are essential for the proof of Theorem 1.1. Moreover, some of these facts are not given explicitly in the sources above, but can be recovered from the proofs.…”