"into some old theorem binders."