they're a bit rough on vi hart and numberphile as being 'math lite' and all about pictures whereas they are all about the rigour by animating their proof. the obvious counter-argument is that vi and numberphile are working on 'inspiring' people about maths and letting the formalism follow. btw i don't agree that pictures aren't proofs, they're not everything but they're a good scaffold in many situations.