Translate the following inference to logic notation: For all x, x_12 is a cashier if and only if x_12 is excited. Barbara is a cashier if and only if Barbara is excited. Therefore Barbara is a cashier if and only if Barbara is excited.
forall x: P(x) <-> Q(x). P(a) <-> Q(a). Therefore P(a) <-> Q(a).