should I get airpods 4 anc or pro 3?

ive never had airpods before and i hope to get one for christmas. the most important factors to me are being able to hear my surroundings, how comfortable they are in my ear (being able to use them for hours without discomfort) and having NO LEAKAGE (i really dont want others to be able to hear my music). i plan to mostly use airpods in the library since i'm a student so i think having no leakage is the most important factor (althought i wont be blasting music, just soft music playing on low volume).

i'm leaning towards airpods 4 anc, since its cheaper and anc isnt that important to me, but im worried about the sound leakage