admin admin, “Testing math in abstract”, JAT, Nov. 2025.