Literature and Algebraic Reasoning