What's the correct interpretation this statement? "There exists a positive number 𝑥 such that for every positive number 𝑦, we have 𝑦²=𝑥." Is it ∃𝑥,∀𝑦[𝑦²=𝑥] or is it ∀𝑦,∃𝑥[𝑦²=𝑥] My (beginner) vote is for the first one ∃𝑥,∀𝑦[𝑦²=𝑥] #maths #quantifiers