Just remember for everyone saying Pump was the worst trade they made this year - there’s a dude on the other side who crushed it.