Ένας βρόχος που επαναλαμβάνει την ίδια ακολουθία γεγονότων, εφόσον πληρούνται ορισμένες προϋποθέσεις. Βρόχο, ενώ η κατάσταση δοκιμή στις αρχές του κάθε βρόχο. Αν η Συνθήκη είναι ψευδής, από την αρχή, την ακολουθία δραστηριοτήτων που περιέχονται εντός του βρόχου, ποτέ δεν τρέχει.