(Or rather, even if they've been transitively invalidated)