RandomNumberGeneratorという基本のプロトコルがmust beにできないという点は同意で、 should be といわずにばっさり not secure って定義しちゃうほうが事故がないと思いまして。