proper library