It's the 100k paid out to this guy included with that number? Just curious