Translate the following inference to logic notation: If Jennifer were a writer, then it is overcast. It is overcast if and only if Jennifer is a writer. Therefore if it is overcast, then Jennifer is a writer.
p -> q. q <-> p. Therefore q -> p.