Fix forward references
Another result about constructible sheaves