 For instance, the sentence “I will keep trying until I succeed” can be formalized as: \(\mathsf{try}\, U\,\mathsf{succeed}.\) As another example, “Ever since Mia left home, Joe has been unhappy and has been drinking until losing consciousness” can be formalized using Since and Until as: