Library theories