I am working on proving a bunch of quantifier shift equivalencies and am currently stuck on how to derive: $(\forall x)Lx \wedge (\forall y)My \vdash (\forall x)[Lx \wedge (\forall y)My]$. I have the following attempt, but it seems too straightforward, so I think I am doing something wrong:
Please let me know if anyone has any advice or suggestions as to how I could go about this instead.