Matematik mantiq konstruksiyalaridan biri har bir vaqt lahzasida yo biror harakatni amalga oshirishi, yoki ushbu harakatni keyingi lahzalardan birida amalga oshirishini rasman isbotlashi kerak boʻlgan oʻlmas agentni koʻrib chiqadi. Ushbu konstruksiyaning nomi bir xil harf bilan boshlanadigan ikki soʻzdan iborat. Ushbu nomni yozing.