Kennon Stewart (2025). Set Theory in Practice.