Translate the following inference to logic notation: For all x, y is an office clerk if and only if y is a server. If Sarah were an office clerk, then Sarah is a server. Therefore if Sarah were an office clerk, then Sarah is a server.
forall x: P(x) <-> Q(x). P(a) -> Q(a). Therefore P(a) -> Q(a).