twin @guizy ft marsiane

snippet guizy [halflifeguizy ghostboiguizy 6guizy]

{~◇(∃x∈Ω)P(x)=1}