Translate the following inference to logic notation: For all x, x_4 will go running if and only if x_4 will climb a mountain. Michael is running if and only if Michael is climbing a mountain. Therefore Michael is running if and only if Michael is climbing a mountain.
forall x: P(x) <-> Q(x). P(a) <-> Q(a). Therefore P(a) <-> Q(a).