Does the predicate logic formula holds for the model?

Question

Model

Formula

My friend believes that the formula does not hold because when X = 4, Q(2,4) -> Q(4) is false thus making the formula false for this model. I