Translate the following inference to logic notation: Jennifer is a server if and only if it is snowing. If Jennifer were a server, then it is snowing. Therefore if Jennifer were a server, then it is snowing.
p <-> q. p -> q. Therefore p -> q.