Translate the following inference to logic notation: Jennifer is making tea if and only if it is windy. It is windy if and only if Jennifer is making tea. Therefore Jennifer is making tea if and only if it is windy.
p <-> q. q <-> p. Therefore p <-> q.