../../Task/Diversity-prediction-theorem/Modula-2