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