Complete the following biconditional statement: A dog's tail wags if and only if the dog is happy. The dog is happy, so the dog's tail:
1) wags
2) stops wagging
3) wags faster
4) cannot be determined