The Sub-Law of Noninterference