This is great news for the community (and for the students)! I wonder if MIT is actively investing in coins or using pre-mined ones.