Logic of Sets with Atoms. - Jake Masters (CoRR, 2025)