 A program which satisfies noninterference should produce the same "output" whenever the corresponding same "input" on the "lower" variables are used.This must hold for every possible value on the input.This implies that even if "higher" variables in the program has different values from one execution to another, this should not be visible on the "lower" variables.