are we sure michael saylor is buying the correct bitcoin? did anyone double check that?