I think this should be len2 < (1 + margin)^2