Implement is_independent() and modify is_superfluous().