Shrinking the state misses the point

Library