That’s actually a very good catch.

I didn’t think about the word antecedent, but I would say that there is a slight linguistic difference between an antecedent and a prosequence.

A prosequence is a sequence of events, whereas an antecedent doesn’t have to necessarily be a series of events.

For instance, in order to have a sequel to a book, you have to have the original book. The original book would be the antecedent of the sequel, whereas the prosequence of the sequel would be writing the first book, which led to the series of events that caused the second book to be written.

So every prosequence would be an antecedent, but not every antecedent would be a prosequence.

That being said, I am just making up words, so if the world disagrees with my definitions, then the world gets to choose what they prefer, because that’s how language works.

Just like the creator of the word GIF pronounces it as JIF, even though everyone knows its GIF.