Translate the following inference to logic notation: If Robert were an artist, then Charles is writing a letter. If Charles writes a letter, then Robert is an artist. Therefore Robert is an artist if and only if Charles is writing a letter.
p -> q. q -> p. Therefore p <-> q.