What is the advantage or the main purpose of using Followed by operator in SVA?

[Orimitsu]

Here is another discussion on followed-by operator (#-#).

• Strong and #-# of SVA
• Why can’t we use followed by instead of implication operator in SVA as the default operator?

Although I don’t perfectly understand it yet, it doesn’t have meaning of implication (|->). A few articles says “no vacuous pass with followed-by operators, #-#, #=#”. But they are NOT implication property.