karel.seidl: repetition