Proportioning rule and super tax: What it is and why it matters