prose.Sequence.terminate