Three alternative characterizations of the proportional solution defined on compact and comprehensive bargaining problems with claims are provided. Two new contraction-type and expansion-type axioms are used. Moreover, the single-valuedness axiom is dispensable if the classical symmetry axiom is...