Design and Core Invalidation