Query related to the current threads: Is it consistent with ZFC that there is a finitely additive set function on ALL subsets of [0,1) that agrees with length for intervals, and is translation (i.e. rotation) invariant? TIA, Bill Taylor.