Translate the following inference to logic notation: If Susan works, then Richard is running. If Richard goes running, then Susan is working. Therefore Susan is working if and only if Richard is running.
p -> q. q -> p. Therefore p <-> q.