"So that was "Hamilton," you guys."