Termine con la logica de Retirar, Existe y K(Fin del Programa)