□∃xxd(x)
RECENT:
□∃xxd(x)