□∃xxd(x)
□∃xxd(x)