@icecolbeveridge @aperiodical @Gelada well, @stecks has already coined the Institute of Mathematics and its Implications