Uma pequena cidade possui diversas caixas de correio. Os moradores simplesmente colocam a correspondência a ser enviada na caixa mais próxima. A cada hora, um funcionário dos correios percorre cada uma das caixas à procura de cartas, abre a caixa pegando o que tiver lá dentro e leva para o correio. Mesmo que não haja carta alguma, o funcionário precisa visitar a caixa, abri-la, para então verificar que não há nada. Ele faz essa verificação de forma rotineira e sistemática. Ao analisar o comportamento desse funcionário, pode-se dizer que ele está verificando se tem ou não cartas através de: