5.1 Derivation and Feature Checking in NSCs