⫪⋎∅∆⫪⋉∇⩊∅ ⩟♪ ⩗∆⩊∅●∆∅⋎

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