We might want this predicate to be `sequential?`