mesaoptimizer comments on Neural networks as non-leaky mathematical abstraction

[mesaoptimizer]

yet mathematically true

This only seems to be the case because the equals sign is redefined in that sentence.