Both Christopher Jackson, who plays George Washington in the musical Hamilton, and Anthony Ramos, who plays both Hamilton’s best friend and his son in the musical Hamilton, announced in October that they will leave the show in November. True or false: Once they leave, none of the named characters will be portrayed by the performers who originated the roles.