「ミルクキノコ」があるなら、「ジョイ」キノコもあるはずです。