minor rearrangement of local vs. "library" theorems