See Renton's ABCD theorem (too lazy to link it)

Also agree its very unnecessary at micros.