SVA paper: (intersect) vs (throughout, until, until_with, within)

SVA paper: (intersect) vs (throughout, until, until_with, within)
*** MUST READ FOR REAL SVA USERS!!! ***
It addresses misunderstandings in the use of these operators, often caused by inherent misconceptions arising from their English-like syntax.