Yeah but they sold at a loss and didn't report it until July 2022 (after BTC was already at $20k)... which means they definitely were selling in Q2 not Q1. There's a reason why the initial drop was thought to just be another 30% dip along the path to $100k... it's because none of the bearish stuff was public yet.