Assign a sentiment category to this tweet related to finance.
Options: negative, positive
Text: $isrg trading at all-time high after strong earnings report with 4 days of short interest.
user
positive
assistant