On the Eventuality Operator in Temporal Logic