updated semantics of libraries