So let’s start that process here, with our first case study on Bitcoin as speech, in the narrow context of proof-of-work mining.