Translate the following inference to logic notation: If it is late, then Robert is playing squash. If Robert plays squash, then it is late. Robert is playing squash if and only if it is late. Therefore it is late if and only if Robert is playing squash.
p -> q. q -> p. q <-> p. Therefore p <-> q.