いえ、さっきの should be の文は Proposed Solution の Random Number Generator について述べられたセンテンスで、 Randomについてはそれのデフォルト実装だよ、としか書いてないような。