Translate the following inference to logic notation: For all x, x_2 will drive a car if and only if x_2 is an office clerk. Therefore if David drives a car, then David is an office clerk.
forall x: P(x) <-> Q(x). Therefore P(a) -> Q(a).