add thirty theses to lib