Translate the following inference to logic notation: For all x, z is poor if and only if z will play tennis. Joseph is poor. Therefore there is at least one x for which z will play tennis.
forall x: P(x) <-> Q(x). P(a). Therefore exists x: Q(x).