Translate the following inference to logic notation: It is sunny if and only if James is drinking water. If James drinks water, then it is sunny. If it is sunny, then James is drinking water. Therefore it is sunny if and only if James is drinking water.
p <-> q. q -> p. p -> q. Therefore p <-> q.