We investigate the conditions under which an inequality averse and additively separable welfarist constitution maker would always choose to set up a progressive equalization payments scheme in a federation with local public goods. A progressive ...