That, and for all we know, bitcoin was started by $FRIENDLY_GOV in the first place.