removed implies