Εκτελείται μια λογική έκφραση που προσδιορίζει έναν ή περισσότερους όρους που πρέπει να τηρούνται κάθε φορά ένα συγκεκριμένο σημείο σε μια επανάληψη του προγράμματος.