Title: The logic of sequences