Procedurally fair collective provision: its requirements and experimental functionality