arrow_leftLength contraction