Suppose I tell my friend that leprechauns don't exist. He responds: "Well, not in THIS realm, they don't. But they MIGHT exist in some hitherto undiscovered realm." To what extent does the claim 'X exists' depend on its being discoverable, or knowable? As a curious person, this question has really bothered me the past few days. There's something comforting about having knowledge, and that there might be an infinite amount of unknowables is rather disconcerting to me. Does Ayer's position -- that for a claim to be meaningful it must either be tautological or empirically veriable -- apply here? If someone could shed some light on this quandary, I'd be immensely appreciative. I really don't know my I allow myself to be bothered my these types of philosophical questions.