A vision for a 'world common' of mathematics · Digg