Do stars rotate or revolve?