../../Task/Diversity-prediction-theorem/MSX-Basic