Inclusion of remove(k). Update of isDependent