Translate the following inference to logic notation: It is sunny if and only if Richard is curious. It is sunny if and only if Richard is curious. Therefore if Richard were curious, then it is sunny.
p <-> q. p <-> q. Therefore q -> p.