and I agree that invalidation is a complex and fundamental thing that just might warrant its own page