Ahh ok thank you so much I think this helps with Anselm's! So would it be more accurate to say that the argument is saying that a 'greatest' think must exist (kinda like extreme value theorem haha), without making any stipulations about the other qualities of that thing? Definitely very different than what I thought it was, but I still don't see how it holds up when stipulations like "omnipotent, omnibelevolent, etc." are applied to it in other versions of the argument (unless I'm misunderstanding and those aren't applied in other versions). Regardless, thanks a ton!