uniqueness of expansion left, otherwise we are good