Hard Maths Theories