In 3rd point the LHS means that "there exists y for all x" means it is pointing to a particular value of y irrespective of value of x meaning independent behaviour but rhs side means "for all x there exists y" meaning that given a x there exists a value y but not necessarily the same value y..
That is why the given implication is one way true only..It is not biconditional..