Numerical Term Logic by Lorne Szabolcsi