Translate the following inference to logic notation: Jessica is poor if and only if Barbara is working. If Jessica were poor, then Barbara is working. Therefore if Jessica were poor, then Barbara is working.
p <-> q. p -> q. Therefore p -> q.