Text this: Some theorems on passing from local to global presence of properties of functions