NaiveTortoise comments on Neural networks as non-leaky mathematical abstraction