Solid piece on model-first thinking. The point about constraints forcing predictable trades is exactly where systematic edge lives. Most quants optimize til they find something that works in sample, but if there's no structural reason why participants must act that way, it's just noise fitting. The rebalance flow example nails it, nobody's gonan stop index funds from mechanically buying, so that edge persists.