Whether a read of a thread's log after afterSeq is from inside the log of a deleted thread of the id, the current thread's first event being firstSeq. A store that deletes a thread whose next event number was n numbers the next thread of the id from n + 1, so n is never an event's: the deleted thread's events are below firstSeq - 1, and firstSeq - 1 - "just before the current thread's first event", as a subscriber from a run's first event asks - is never one of them. 0 reads from the start of the current thread. For a store's eventsAfter.
Whether a read of a thread's log after afterSeq is from inside the log of a deleted thread of the id, the current thread's first event being firstSeq. A store that deletes a thread whose next event number was n numbers the next thread of the id from n + 1, so n is never an event's: the deleted thread's events are below firstSeq - 1, and firstSeq - 1 - "just before the current thread's first event", as a subscriber from a run's first event asks - is never one of them. 0 reads from the start of the current thread. For a store's eventsAfter.