Translate the following inference to logic notation: Sarah is a carpenter if and only if David is a cashier. If Karen were poor, then Sarah is a carpenter. Therefore if Karen were poor, then David is a cashier.
p <-> q. r -> p. Therefore r -> q.