\forall yGy