Hello,

I am still struggling to comprehend formulas having B, SB, U or SU temporal operators. I understand mathematical definition of them but cannot use my knowledge to understand a more complicated formula. Can someone kindly make a short explanation of them in natural language that we can always refer to?

Thanks in advance.