公式(∃x)P(x,y)→∀zQ(x,z))的约束变元为___________,自由变元为___________。