Maths requires less magical ability than advertised. Also, messy details are messy (and normal). — LessWrong