More progress on noElementOf.