President Trump sent his first tweet a little more than half an hour into the Democratic presidential primary debate on Wednesday, and made clear what he thought of the proceeding.

“BORING!” Trump tweeted at 9:35 p.m. as Democratic hopefuls — including Mayor Bill de Blasio, Sen. Cory Booker, Sen. Elizabeth Warren and Beto O’Rourke — debated immigration, wealth inequality and other topics in Miami.

The Wall Street Journal reported last week that Trump was contemplating live tweeting the debate tonight and the follow-up tomorrow, which will feature front-runner Joe Biden.

Trump stayed mostly quiet on Twitter during the first hour of the debate Wednesday, sending only the one-word message.