Fundamental terms -- Original nomological statements -- Derivative nomological statements -- Admissible statements -- Extension of verifiability -- Counterfacturals of noninterference -- Relative nomological statements -- Permissible and proper implication.