> this is an universal quantification whereas your interpretation is an existential quantification Indeed, I stand corrected. Interesting! I'll look into that

> this is an universal quantification whereas your interpretation is an existential quantification Indeed, I stand corrected. Interesting! I'll look into that a bit more, thank you.