K∃ᐁΛL|ΠΛ

There exists...