Updated text for sequence diagram in antecedents