let is_redundant r = (r = Context.Status.Valid)