more invarianting. bug in insert?