Translate the following inference to logic notation: Sarah is a mechanic if and only if it is snowing. It is snowing if and only if Sarah is a mechanic. Therefore it is snowing if and only if Sarah is a mechanic.
p <-> q. q <-> p. Therefore q <-> p.