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