Party discipline is about the party setting rules for its leader.