admin, admin. Testing Math in Abstract. JAT 2025.