A little piece of Logic loops