Untangling Procedural and Distributive Justice