Translate the following inference to logic notation: Richard is rich if and only if Michael is writing a letter. Richard is rich if and only if Michael is writing a letter. Therefore if Michael writes a letter, then Richard is rich.
p <-> q. p <-> q. Therefore q -> p.