If sufficient mining power prefers software versions with specific consensus rules, the rules are effectively changed. By a "they".