Yazıladuran

Durmadan yazılan: Gerekli imleme S₁ (doğruluk: çekim zamanı)
Yazılıp duran: Mümkün imlendirme S₂ (gerçeklik: çekim uzayı)
Yazıladuran: Gerçel imleyiş $ (yerçek: çekim)

Durmadan atlanan: İmkansız imleme S(Ⱥ) (sahilik: beliriş zamanı)
Atlanıp duran: Olumsal imlendirme objet a (hakikat: beliriş uzayı)
Atlanaduran: Görcül imletim $ (sahihat: beliriş)

S₁ : Ex ~Φx (istisna var)
S₂ : ∀x Φx (tamamlık)

S(Ⱥ) : ~Ex ~Φx (istisna yok)
objet a : ~∀x Φx (tamamsızlık)

Bkz “Lacancı Özne: Kök Salma ve Uzanım: Sütur ve Südur”, “Lacan’da Cinsiyetlenme Formülleri”, “İdeoloji sahiden ağır mevzu!”, “Çifte zaman teorisi ve bildiği-varsayılan-yüzey”, “Tamamsız Evren: Enerji & Entropi, Tamamlık & Tamamsızlık”, “Resolving the Žižekian Indecision by Settling the Location of the Fantasy”, “Yerçekçi Olalım: Uçmak Düştüğünü Unutmaktır”, “Turing Makinesi ve Lacan: Yazma ve Durma”, “İmleyişin direnişi” Bruce Fink, “İmlendiren ve İmleten: Kısır Sonsuz ve Nostaljezik”, “Çevirmenler, True’ya Doğru demeyelim, Sahi diyelim”, “Otistik önkapanım” Leon Brenner