Genuine question: Is it the case that Bitcoin has a precisely determined supply because the difficulty schedule is informally agreed on by all participants? What would happen if some large number of participants, say 75%, decided to change that? They simply could, couldn't they?