Olması gereken bir veya daha fazla her zaman bir program döngü içinde belirli bir noktaya koşulları belirten mantıksal bir ifade yürütülür.