cut_position(first, "a").
cut_position(middle, "ab").
cut_position(choice, "ab").
cut_position(failure, preserved).