Translate the following inference to logic notation: Karen is an electrician if and only if it is windy. It is windy if and only if Karen is an electrician. Therefore if Karen were an electrician, then it is windy.
p <-> q. q <-> p. Therefore p -> q.