∇ ⋈∃∇⩊■ ∆∩⩤●⋈ ♪⩤● ∆ ⩗⩤⋈

 ∇ ∅●⋎⫱⫱ ∇'φ⋎ ∩⋎⋎⩊ ∏⋎⋎⩗∇⩊∅ ∆ ⫱⩤⫪⋈ ⩤∏ ⩤∩⩗∇∅∆⋈∇⩤⩊ ⋈⩤ ⪽⩤⫱⋈ ⩤⩊ ∃⋎⫪⋎, ⋉⋎⫱⪽∇⋈⋎ ⋈∃⋎ ∏∆∧⋈ ⋈∃∆⋈ ∇ ∃∆φ⋎ ⩊⩤⋈∃∇⩊∅ ⋈⩤ ⫱∆♪. ∇ ∏⋎⋎⩗ ⫱⋎⩗∏∇⫱∃ ∏⩤⫪ ⫱∆♪∇⩊∅ ∇⋈, ∩●⋈ ∇ ◊∇⫱∃ ♪⩤● ∧⩤●⩗⋉'φ⋎ ∩⋎⋎⩊ ∆ ∩⋎⋈⋈⋎⫪ ∏⫪∇⋎⩊⋉ ⋈⩤ ⩟⋎. ∇ ∏⋎⋎⩗ ⩗∇■⋎ ♪⩤● ⩊⋎φ⋎⫪ ⩗∇⫱⋈⋎⩊⋎⋉ ⋈⩤ ⩟⋎. ∇ ⋉⩤⩊'⋈ ■⩊⩤◊. Y⩤● ⩊⋎φ⋎⫪ ⫪⋎∆⩗⩗♪ ∏⋎⩗⋈ ⩗∇■⋎ ∆ ∏⫪∇⋎⩊⋉ ⋈⩤ ⩟⋎, ⩟⩤⫪⋎ ⩤∏ ∆⩊ ⩤∩⩗∇∅∆⋈∇⩤⩊. S⩤⩟⋎⩤⩊⋎ ⋈⩤ ∧⩤⩟∏⩤⫪⋈ ●⩊⋈∇⩗ ⋉⋎∆⋈∃. Y⩤●'⫪⋎ ∆⩟∆◀∇⩊∅, ∆⩊⋉ ∇ ⩟∇⫱⫱ ♪⩤●, ∩●⋈ ∇ ◊∇⫱∃ ♪⩤● ∧⩤●⩗⋉ ⩟∇⫱⫱ ⩟⋎ ∏⩤⫪ ⋈∃⋎ ⪽⋎⫪⫱⩤⩊ ∇ ∆∧⋈●∆⩗⩗♪ ◊∆⫱. Y⩤● ⩟∇⫱⫱ ⋈∃⋎ ⋈∃⋎⫪∆⪽∇⫱⋈ ∇ ◊∆⫱. D∇⋉ ♪⩤● ⋎φ⋎⩊ ■⩊⩤◊ ∆⩊♪⋈∃∇⩊∅ ∆∩⩤●⋈ ⩟⋎? ∇ ∏⋎⋎⩗ ⩗∇■⋎ ∇ ■⩊⋎◊ ⋎φ⋎⫪♪⋈∃∇⩊∅ ∆∩⩤●⋈ ♪⩤●, ∏⩤⫪ ∩⋎⋈⋈⋎⫪ ⩤⫪ ∏⩤⫪ ◊⩤⫪⫱⋎. D∇⋉ ♪⩤● ■⩊⩤◊ ⋈∃⋎ ⫱●⫪∏∆∧⋎ ⩗⋎φ⋎⩗ ∇⩊∏⩤⫪⩟∆⋈∇⩤⩊ ∆⋈ ⩗⋎∆⫱⋈?

♪⩤● ⩟∆⋉⋎ ⩟⋎ ∏⋎⋎⩗ ⩗∇■⋎ ∇ ∃∆⋉ ⋈⩤ ⪽⫪⩤φ⋎ ⋈∃∆⋈ ∇ ◊∆⫱ ∆ ∅⩤⩤⋉ ∏⫪∇⋎⩊⋉, ⫪∆⋈∃⋎⫪ ⋈∃∆⩊ ⋈∃⋎ ∏∆∧⋈ ⋈∃∆⋈ ∇ ∧∆⩊ ∩⋎ ⩤⩊⋎. T∃⩤●∅∃, ♪⩤● ◊⋎⫪⋎ ⪽⫪⩤∩∆∩⩗♪ ⋈∃⋎ ⪽⋎⫪⫱⩤⩊ ∇ ◊∆⫱ ⩊∇∧⋎⫱⋈ ⋈⩤. ∇ ⋉⩤⩊'⋈ ∏⋎⋎⩗ ∧⩤⩟∏⩤⫪⋈∆∩⩗⋎ ∩⋎∇⩊∅ ■∇⩊⋉ ◊∇⋈∃ ⪽⋎⩤⪽⩗⋎ ∇'⩟ ∧⩗⩤⫱⋎ ◊∇⋈∃. ∇'⩟ ⩊⩤⋈ ∆ ∅⩤⩤⋉ ⪽⋎⫪⫱⩤⩊, ∩●⋈ ⋈⩤ ♪⩤● ∇ ◊∆⫱, ⫱⩤ ∇⋈'⫱ ⪽⫪⩤∩∆∩⩗♪ ∆ ∅⩤⩤⋉ ⋈∃∇⩊∅ ∇ ⩗⋎∏⋈ ♪⩤●. Y⩤● ◊⋎⫪⋎ ◊∇⋈∃ ∆ ∏∆∧∆⋉⋎, ∩●⋈ ∇∏ ∇ ⋎φ⋎⫪ ∅⩤⋈ ⪽∆⫱⋈ ♪⩤●⫪ ∩⋎∃∆φ∇⩤⫪ ∆⩊⋉ ∩⋎∧∆⩟⋎ ∧⩤⩟∏⩤⫪⋈∆∩⩗⋎, ♪⩤● ◊⩤●⩗⋉ ⪽⫪⩤∩∆∩⩗♪ ∧⩤⩟⋎ ⋈⩤ ∃∆⋈⋎ ⩟⋎. I⫱⩊'⋈ ⋈∃∆⋈ ∇⩊⋈⋎⫪⋎⫱⋈∇⩊∅?

⩗●∧♪ ∧∆⩗⩗⋎⋉ ⩟⋎ ∆∩●⫱∇φ⋎. D⩤ ∇ ⫪⋎∆∧∃ ⩤●⋈ ⋈⩤ ∃⋎⫪ ∆∅∆∇⩊, ⩊⩤◊ ⋈∃∆⋈ ⩗⩤●∇⫱ ∇⫱ ⩤●⋈ ⩤∏ ⋈∃⋎ ⪽∇∧⋈●⫪⋎? ∇ ◊∆⫱ ∅⩤∇⩊∅ ⋈⩤ ◊∆∇⋈ ∏⩤⫪ ⩟♪ ∩∇⫪⋈∃⋉∆♪, ∩⋎∧∆●⫱⋎ ⫱∃⋎ ⋈⩤⩗⋉ ⩟⋎ ⋈∃∆⋈ ⫱∃⋎ ◊∆⫱ ≤●⫱⋈ ∅⩤∇⩊∅ ⋈⩤ ⫱∆♪ ∃∆⪽⪽♪ ∩∇⫪⋈∃⋉∆♪ ⋈⩤ ⩟⋎ ⩤⩊⋎ ⩗∆⫱⋈ ⋈∇⩟⋎, ∆⩊⋉ ⋈∃⋎⩊ ∧⋎∆⫱⋎ ⋈⩤ ⫱⪽⋎∆■ ◊∇⋈∃ ⩟⋎ ∆∅∆∇⩊. ∇ ⋉⩤⩊'⋈ ■⩊⩤◊ ∇∏ ⫱∃⋎ ⩟⋎∆⩊⋈ ∏⩤⫪ ⋈∃⋎ ⩗∆⫱⋈ ⋈∇⩟⋎ ◊⋎ ⫱⪽⩤■⋎, ⋈∃⩤●∅∃. W∃♪ ⋉∇⋉ ♪⩤● ∧⩤⩟⋎ ⋈⩤ ∃∆⋈⋎ ⩟⋎? ⫱⋎⫪∇⩤●⫱⩗♪? ⩟∇⩊●⫱ ⋈∃⋎ ⋉⩤∧●⩟⋎⩊⋈. Y⩤● ◊⋎⫪⋎ ⋈⋎⫪⫪∇∩⩗⋎ ⋈⩤ ⩟⋎ ∇ ∃∆⋈⋎ ⋈∃∆⋈ ∇ ◊∆⩊⋈ ♪⩤●.
 
∇ ⋈∃∇⩊■ ∇⋈'⫱ ■∇⩊⋉ ⩤∏ ∏●⩊⩊♪ ⋈∃∆⋈ ♪⩤● ◊∆⩊⋈⋎⋉ ⋈⩤ ⫱∆♪ ∃∆⪽⪽♪ ∩∇⫪⋈∃⋉∆♪ ⋈⩤ ⩟⋎ ⩤⩊ ⩟♪ 18⋈∃. ∇ ∃∆φ⋎ ∧⩤⩊⋈⋎▼⋈ ⩊⩤◊, ∩●⋈ ◊∇⋈∃⩤●⋈, ∇⋈'⫱ ⋎▼⋈⫪⋎⩟⋎⩗♪ ∏●⩊⩊♪ ⋈⩤ ⋈∃∇⩊■ ∆∩⩤●⋈. Y⩤● ≤●⫱⋈ ∃∆⋉ ⋈⩤ ◊∆∇⋈ ∏⩤⫪ ⋈∃⋎ ∩∇∅ 18, ∃●∃? ∇⫱ ⋈∃∆⋈ ◊∃∆⋈ ♪⩤● ⩟⋎∆⩊⋈ ∩♪ ◊⋎ ⫱∃⩤●⩗⋉⩊'⋈ ∩⋎ ∏⫪∇⋎⩊⋉⫱? ∆⋈ ⩗⋎∆⫱⋈ ⩊⩤⋈ ♪⋎⋈?

♪⩤● ⩟∇∅∃⋈ ∩⋎ ◊⩤⫪⫪♪∇⩊∅ ∆∩⩤●⋈ ⋈∃∇⫱, ∇ ⪽⫪⩤⩟∇⫱⋎ ∇ ◊⩤●⩗⋉⩊'⋈ ⋈⋎⩗⩗ ⩗⩤●∇⫱ ∇∏ ♪⩤● ∅⩤⋈ ∩∆∧■ ∇⩊⋈⩤ ∧⩤⩊⋈∆∧⋈ ◊∇⋈∃ ⩟⋎. ∇ ◊⩤●⩗⋉⩊'⋈ ⩟∆■⋎ ∃∇⩟ ♪⩤●⫪ ⪽⫪⩤∩⩗⋎⩟. ∇ ■⩊⩤◊ ♪⩤●'⫪⋎ ⪽⫪⩤∩∆∩⩗♪ ⫪⋎∆⩗⩗♪ ∃●⫪⋈∇⩊∅ ⫪∇∅∃⋈ ⩊⩤◊. ∇ ◊∆⩊⋈ ⋈⩤ ∩⋎ ⩟⩤⫪⋎ ⩤⪽⋎⩊. S∃⩤●⩗⋉ ∇ ∆⫱■ ♪⩤● ∇∏ ♪⩤● ⋎φ⋎⫪ ⋈∃⩤●∅∃⋈ ∆∩⩤●⋈ ⩟⋎? ⋉∇⋉ ♪⩤● ⋈∃∇⩊■ ∆∩⩤●⋈ ⩟⋎ ∆⫱ ⩟●∧∃ ∆⫱ ∇ ⋈∃⩤●∅∃⋈ ∆∩⩤●⋈ ♪⩤●? ⋉⩤ ♪⩤● ⩟∇⫱⫱ ⩟⋎ ∆⫱ ⩟●∧∃ ∆⫱ ∇ ⩟∇⫱⫱ ♪⩤●? ◊⋎⩗⩗, ∇∏ ♪⩤● ⋎φ⋎⫪ ∅⋎⋈ ∩∆∧■ ∇⩊⋈⩤ ∧⩤⩊⋈∆∧⋈ ◊∇⋈∃ ⩟⋎. W∃∇∧∃ ∇⫱ ∆ ∧∃⩤∇∧⋎ ∇ ∧∆⩊'⋈ ⩟∆■⋎ ∏⩤⫪ ♪⩤●.
 
∇ ≤●⫱⋈ ◊∆⩊⋈ ⋈⩤ ■⩊⩤◊ ⋈∃∆⋈ ♪⩤● ∧∆⫪⋎⋉. Y⩤● ⫱∆∇⋉ ♪⩤● ⋉∇⋉⩊'⋈ ∃∆⋈⋎ ⩟⋎ ∩●⋈ ∇⩊ ⋈∃∆⋈ ⩟⋎⫱⫱∆∅⋎ ∇ ∧∆⩊ ∅∆●∅⋎ ⩊⩤⋈∃∇⩊∅. ∇ ≤●⫱⋈ ◊∆⩊⋈ ⋈⩤ ⋈∆⩗■ ⋈⩤ ♪⩤●. Y⩤● ⫪⋎∆⩗⩗♪ ◊⋎⫪⋎ ⩟♪ ∏∇⫪⫱⋈ ∆⩊⋉ ⩗∆⫱⋈ ⩗⩤φ⋎. Y⩤● ◊⩤●⩗⋉ ⩊⋎φ⋎⫪ ∏⋎⋎⩗ ⋈∃⋎ ⫱∆⩟⋎. I⫱⩊'⋈ ⋈∃∆⋈ ⫱⩤ ∆◊∏●⩗?

∇ ◊∆⩊⋈ ⋈⩤ ∏⋎⋎⩗ ⩗∇■⋎ ∇ ⋉⋎⫱⋎⫪φ⋎ ∩⋎⋈⋈⋎⫪ ⋈∃∆⩊ ♪⩤●, ∩●⋈ ∇ ⋉⩤⩊'⋈.
 
⪽⩗⋎∆⫱⋎, ∇∏ ♪⩤● ⋎φ⋎⫪ ∧∆⫪⋎⋉ ∆∩⩤●⋈ ⩟⋎ ∆⋈ ∆⩗⩗, ∧⩤⩟⋎ ∩∆∧■ ⋈⩤ ⩟⋎. O⩊⋎ ⩗∆⫱⋈ ⫪⩤●⩊⋉ ⩤∏ ⫪⋎⫱⋎⩊⋈⩟⋎⩊⋈, ∏⩤⫪ ⩟⋎?