Translate the following inference to logic notation: Jennifer is running if and only if Richard is working. For all x, x will not go running. Therefore Richard is not working.
P(a) <-> p. forall x: ~P(x). Therefore ~p.