With this “unrealized tax gains proposal” I guess Michael Saylor would be trying to find a new place for his declared bitcoins?