Working on a7 sequence.ml.