Fixed pure list consistency checks