On Friday, when theater-goers seeing “Hamilton” the musical were told that Vice President-elect Mike Pence was in attendance, they erupted in a mix of cheers and (mostly) boos.

At the end of the show, the cast took the stage and delivered a respectful message to Pence, who has taken anti-LGBTQ stances in the past: Represent all Americans.

Our wonderful future V.P. Mike Pence was harassed last night at the theater by the cast of Hamilton, cameras blazing.This should not happen! — Donald J. Trump (@realDonaldTrump) November 19, 2016

The Theater must always be a safe and special place.The cast of Hamilton was very rude last night to a very good man, Mike Pence. Apologize! — Donald J. Trump (@realDonaldTrump) November 19, 2016

Yeahhhhh.

The internet didn’t see it that way, and was not as kind to Pence. They compared his experience with Abraham Lincoln’s, who had, undoubtedly, a worse time at the theater.