poɾ exˈemplo, ˈun ˌalɣoɾˈitmo ke βˌeɾifˈika ke ˈaɪ mˈas θˈeɾos ke ˈunos en ˈuna sekwˈɛnθja βinˈaɾja ˌimfinˈita ðˈeβe ˌexekutˈaɾse sjˈempɾe pˌaɾa ke pwˈeða ðˌeβolβˈeɾ ˈum balˈoɾ ˈutil.
Por ejemplo, un algoritmo que verifica que hay más ceros que unos en una secuencia binaria infinita debe ejecutarse siempre para que pueda devolver un valor útil.