Globally, it is always the case that if "a" holds then "b" holds as well.