up to cut-at-repetition, not finished