Translate the following inference to logic notation: Charles is listening to a song if and only if James is writing a letter. For all x, x_16 will listen to a song and x_16 is a cashier. Therefore James is writing a letter.
P(a) <-> p. forall x: P(x) and Q(x). Therefore p.