Social exercise is mentally healthy.