Reciprocal System of theory Library