Translate the following inference to logic notation: It is late if and only if Joseph is working. If it is late, then Joseph is working. Therefore Joseph is working if and only if it is late.
p <-> q. p -> q. Therefore q <-> p.