Adding Paul's libraries