Guys, it doesn't matter whether they're a troll. We gain nothing by engaging with them. We've had this conversation. There's no point repeating ourselves.