A comment explaining under what conditions we wouldn't expect this assertion to hold would be nice.