Not only he sold at 4K, but also sold with a -10% loss I think (kinda mindrust stop loss thing). Not only that, he didn't buy any significant sum after that, may be one or two 100$ buys. Not only that, he converted his eur to usd, and after that usd/eur fell by 15%. And also he invested in monero. After that he dissapeared from this thread. In his interview in another thread he shares that he is interested in a more significant Bitcoin dump (the prices were below 20K then). Just lolz