Please provide a name for the formula.

Please provide a LTL formula.