LocalSpec => LazySpec