Tales from the ArXiv: "Tautological Algebra"

I feel like tautological algebra is what we get from many of our students.