.@stecks has inadvertently founded the Institute of Mathematics and its Implications. Pure maths only: no applications allowed!