Procedural Proportionality: A Critical Analysis