The First and Second Law Libraries