remove todo about randomMatching (it was explained in sec 3 already!)