Contrib library theories

There is a lot of redundancy in these hyperlinks, which we hope to eliminate as these libraries mature.