I’m assuming invalidation should be insensitive to scope, no?