Dung's semantics satisfy attack removal monotonicity
  We show that preferred, stable, complete, and grounded semantics satisfy
attack removal monotonicity. This means that if an attack from b to a is
removed, the status of a cannot worsen, e.g. if a was skeptically accepted, it
cannot become rejected.
